Nuprl Lemma : null_wf3
11,40
postcript
pdf
as
:(top List). null(
as
)
latex
Definitions
null(
as
)
,
x
:
A
.
B
(
x
)
,
t
T
,
top
Lemmas
top
wf
,
null
wf
origin
as:(top List). null(as) 
as:(top List). null(as) x:A. B(x) T